m******i 发帖数: 834 | 1 5 月28日,美国计算机协会(ACM:the Association for Computing Machinery)的算
法和计算机理论专业组(SIGACT:Special Interest Group on Algorithms and
Computing Theory)宣布,滕尚华教授及其合作者荣获2008年哥德尔(Gdel)奖。
滕尚华是姚期智讲席教授组成员之一,美国波士顿大学计算机系教授,卡耐基梅隆大学
博士。主要研究方向为计算几何、最优化、互联网算法等。他们此次的获奖工作是
Smoothed Analysis of Algorithms: Why the Simplex Algorithm Usually Takes
Polynomial Time。
哥德尔奖是理论计算机科学领域的最高奖项,由EATCS和ACM SIGACT共同评选。
http://sigact.acm.org/prizes/godel/, for outstanding papers),与美国工业与应用数学学会(SIAM)乔治·波利亚奖(George Polya Prize,http://www.sia |
|
x******r 发帖数: 367 | 2 From http://bbs1.creaders.net/education/messages/380036.html
5月28日,美国计算机协会(ACM:the Association for Computing Machinery)的算
法和
计算机理论专业组(SIGACT:Special Interest Group on Algorithms and Computing
Theory)宣布,滕尚华教授及其合作者荣获2008年哥德尔(Godel)奖。
滕尚华是美国波士顿大学计算机系教授,卡耐基梅隆大学博士。主要研究方向为计算几
何、
最优化、互联网算法等。他们此次的获奖工作是Smoothed Analysis of Algorithms:
Why
the Simplex Algorithm Usually Takes Polynomial Time。
哥德尔奖是理论计算机科学领域的最高奖项之一,由EATCS和ACM SIGACT共同评选
http://sigact.acm.org/prizes/godel/, for outstanding papers),与美国工业与应用 |
|
j*******e 发帖数: 674 | 3 下面code在Linux2.6,gcc下运行:
$ ./a.out
Floating point exception (core dumped)
问题:
1. 已经设了process signal mask, 40行产生的SIGFPE应该被屏蔽
2. 32行安装了signal handler, 40行产生的SIGFPE应该被capture
为什么运行结果是直接core dump?
如果注释掉 “z=x/y", 改用“raise(SIGFPE)", 运行结果就符合预期。
难道“z=x/y"在这里不是rasie SIGFPE 吗?
=============================
#include
#include
#include
void sig_handler(int signum)
{
printf("sig_handler() received signal %d\n", signum);
}
int main(int argc, char * argv[])
{
// setup signal... 阅读全帖 |
|
k*****r 发帖数: 21039 | 4 我党输出文革价值观了。被声讨的我软研究部的沈将军,李将军,温将军,都是华裔,
红卫兵小将的主力是蜜柚和阿三。
米国学界也种族界限分明,米疣控制的伪科学圈子,分田分地真忙,外面的人根本插不
进去,SIGCOMM,SIGMOBILE尤为甚,种种扯鸡巴毛研究的灌水自娱自乐文,在華为中研
的真正在技术最前沿的科学家看来真是贻笑大方。可以不夸張的說,过去十年,
mobicomm,sigcomm的文章一篇不看,丝毫不影响
无线通讯技术的发展。
沈李二将军断然砸了我軟下面的伪科学小集团的饭碗,以後怕是有麻煩。还是毅然起义
,加入百阿腾集团軍为宜。
The following letter has just been sent to the leadership of Microsoft
Research. Others who wish to express support for the sentiments expressed
in the letter may do so by commenting on this blog post.
October 14, 2014
Harry Shum... 阅读全帖 |
|
d*****y 发帖数: 370 | 5 因为对时间要的求不是很精确,我是打算用sleep和signal来做定时运行.
对这个test case的话,只想让tshark运行30秒,然后tshark被kill pid,然后等10分
钟,tshark程序再运行
但是我是在程序里用SYSTEM来向console发命令的,所对好像是在定时器这些方面有问
题,想让tshark 运行30秒,做不出来效果。
我在main()里是这么写的
struct sigaction act;
union sigval tsval;
act.sa_handler = show_msg;
act.sa_flags = 0;
sigemptyset(&act.sa_mask);
sigaction(50, &act, NULL);
len = strlen(msg);
while ( 1 )
{
system("tshark > logtext.txt &echo $! > tsharkpid"; // 发tshark命令,
写 tshark pid到文件里
/*
我不知道 |
|
c*******h 发帖数: 1096 | 6 一个简单的mpi程序
#include
int main(int argc, char *argv[]) {
MPI_Init(&argc, &argv);
MPI_Finalize();
return 0;
}
mpicc编译了之后valgrind一跑就crash
==27777== Memcheck, a memory error detector
==27777== Copyright (C) 2002-2011, and GNU GPL'd, by Julian Seward et al.
==27777== Using Valgrind-3.7.0 and LibVEX; rerun with -h for copyright info
==27777== Command: a.out
==27777==
==27777== Warning: ignored attempt to set SIGRT32 handler in sigaction();
==27777== the SIGRT32 signal is used int... 阅读全帖 |
|
W***o 发帖数: 6519 | 7 I am trying to write a user-level thread library in C. My strategy is to use
ucontext_t, signal, sigaction to support thread creation, initiation, join,
mutex, yield, cancel, and exit.
Without pre-emption, my code currently works with all the methods. But when
I try to add pre-emption support, the program seems running funny and
confusing. So I need to see some examples, better implemented in C.
I am new to C, and have only started C program from 20 days ago. I am
comfortable with using struct, ... 阅读全帖 |
|
W*****B 发帖数: 4796 | 8 泄密者曼宁的孤独之旅
切尔西·曼宁,叛徒还是殉道者?
2010年,切尔西·曼宁因一次大型泄密事件而被捕并遭到指控。在2013年她被判有罪之
后,她宣布自己是一名跨性别女性。今年5月,她于军事监狱获释。 INEZ AND VINOODH
FOR THE NEW YORK TIMES. STYLIST: ALEX WHITE.
MATTHEW SHAER
2017年6月30日
今年春天一个多云的早晨,切尔西·曼宁(Chelsea Manning)爬进一辆黑色SUV车后座,
指示保安人员开车送她到最近的星巴克。曼哈顿上空正酝酿着一场暴风雨,曼宁已经为
此做好了准备,她脚穿粗重的马丁靴,带着雨伞,身上是一件彰显身材的黑色连衣裙,
裸露着双腿。她画着淡妆:灰蓝色的眼睛周围有眼线的痕迹,一点点粉红色的唇彩。
在星巴克,她点了白巧克力摩卡,坐到旁边的高脚凳上。曼宁的身材一直很娇小(5英
尺4英寸),但在过去的几个月里,在美国莱文沃斯堡军事监狱里,她非常认真地沿着
监狱操场和监狱体育馆的跑道上跑步。从她的手臂和颧骨轮廓可以看出,她的身体变得
柔韧结实。她看上去健康强壮,虽然带着些许不安的感觉,... 阅读全帖 |
|
l****z 发帖数: 29846 | 9 U.S. Army Private First Class Bradley Manning’s maximum prison sentence of
136 years was reduced to a maximum sentence of 90 years behind bars.
Judge Denise Lind, an Army colonel, announced Manning’s reduced sentence
during a closed session at Ft. Meade, Md., on Tuesday. Lind agreed in part
to a motion proposed by the defense to merge various charges against Manning.
“She merged two Espionage specifications for transmission of the Iraq and
Afghan SigActs, the theft and transmission of the Guanta... 阅读全帖 |
|
W*****B 发帖数: 4796 | 10 【 以下文字转载自 Military 讨论区 】
发信人: WCNMLGB (CCC), 信区: Military
标 题: 纽时:泄密者曼宁的孤独之旅
发信站: BBS 未名空间站 (Sat Jul 1 12:31:02 2017, 美东)
泄密者曼宁的孤独之旅
切尔西·曼宁,叛徒还是殉道者?
2010年,切尔西·曼宁因一次大型泄密事件而被捕并遭到指控。在2013年她被判有罪之
后,她宣布自己是一名跨性别女性。今年5月,她于军事监狱获释。 INEZ AND VINOODH
FOR THE NEW YORK TIMES. STYLIST: ALEX WHITE.
MATTHEW SHAER
2017年6月30日
今年春天一个多云的早晨,切尔西·曼宁(Chelsea Manning)爬进一辆黑色SUV车后座,
指示保安人员开车送她到最近的星巴克。曼哈顿上空正酝酿着一场暴风雨,曼宁已经为
此做好了准备,她脚穿粗重的马丁靴,带着雨伞,身上是一件彰显身材的黑色连衣裙,
裸露着双腿。她画着淡妆:灰蓝色的眼睛周围有眼线的痕迹,一点点粉红色的唇彩。
在星巴克,她点了白巧克力摩卡,坐到旁边... 阅读全帖 |
|
Y*****2 发帖数: 38613 | 11 当然要和现在老板说啊
[在 sigaction (signo act old act) 的大作中提到:]
:下面是原话。说实话,ta这样不体谅,我现在都不想继续面试了。可是又怕惹恼了ta
,直接告诉我老板了。。。
:so this is the challenge
:they do need to get sign off from your manager.
:I did tell them your concern
:and they did share with me that if your manager gives you a hard time, HR
:should be made aware
:Do you want me to talk to your manager?
:I can’t proceed with an interview without his signature. They made that a
:requirement |
|
h*d 发帖数: 19309 | 12 发信人: strong (大拿~恭祝清华百年华诞), 信区: TsinghuaCent
标 题: 清华大学的2010
发信站: 水木社区 (Sun Apr 24 14:46:09 2011), 站内
清华大学的2010
注:本文由水木社区BBS世纪清华版(TsinghuaCent)整理,各项资料来自清华大学网
站、清华大学新闻网、北京协和医学院(清华大学医学部)网站和水木社区BBS世纪清
华版等。
正文:
本文系统总结2010年度清华大学、北京协和医学院(清华大学医学部)师生校友荣获的
各类学术和社会荣誉、学科竞赛成绩以及学校在教学科研领域中获得的各类成果和进展
。限于篇幅,在关于各类获奖成果的统计中,本文仅统计获得过一等奖、金奖(国家科
学技术奖除外)以上的成果(绩)。
*********************
一.最高荣誉
●清华大学数学科学中心主任丘成桐教授获得2010年沃尔夫(Wolf)奖,以表彰他在几
何分析领域的贡献,以及在几何和物理的多个领域都产生的“深刻而引人注目的影响”
。这是丘成桐继1982年获得菲尔茨奖后,再... 阅读全帖 |
|
q**w 发帖数: 782 | 13 中科大-耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”
2011-10-08
日前,中科大-耶鲁高可信软件联合研究中心梁红瑾、冯新宇和付明的论文A Rely
-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
被第39届 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(简称POPL)录用。这是联合研究中心的研究迈入国际一流水平的里程碑。此前,中国
大陆无任何单位以第一作者单位的身份在POPL上发表过论文。梁红瑾等的论文的发表,
将使得中国科学技术大学成为大陆第一个以第一单位在POPL上发表论文的高校和科研院
所,真正实现了“零的突破”。
POPL是编程语言领域历史最久、水平最高的国际会议,它是讨论编程语言和编程系
统最新突破的最主要论坛,内容涵盖编程语言的理论、编程语言的设计、编译器技术、
程序分析、程序验证、可信软件等众多研究领域。国际期刊和会议的各种分区方法都把
POPL放在该... 阅读全帖 |
|
p**q 发帖数: 1130 | 14 这到底是怎么回事?清华的那篇不是第一作者?
——————————————————————————
清华教师论文被POPL国际会议接收 实现内地“零的突破”
【新闻中心讯】日前,清华大学计算机系计算机科学与人工智能研究部量子计算与
信息研究组的冯元、段润尧、应明生的合作论文Bisimulation for quantum processes
(量子进程的互模拟关系)被第38届ACM SIGACT-SIGPLAN Symposium on Principles
of Programming Languages(程序语言原理国际会议,简写为POPL)接收。这也是POPL
接收的第一篇作者来自中国内地的论文。
冯元、段润尧和应明生合作提出了一种刻画量子进程等价性的互模拟关系,并证明
了这一关系在各种进程构造符作用下的同余性。此项工作彻底解决了量子进程代数研究
的最关键问题,对设计复杂量子协议的验证方法以及建立量子通信并发理论具有重大意
义。
POPL是程序语言理论方面最好的国际会议,稿件录用率年平均不到20%。中国台湾
今年也有一篇第二作者的论文被接收,港澳地区目前尚无论文被会议接收。(供稿 ... 阅读全帖 |
|
f**y 发帖数: 138 | 15 you can get the process id and uid of the sender of SIGINT or SIGTERM from
siginfo_t structure sent to sigaction handler.Not for SIGKILL or SIGSTOP,
which can not be caught. |
|
g*******y 发帖数: 1930 | 16 唉,看来没办法了,只有在linux用sigsegv + sigaction了... |
|
p******f 发帖数: 162 | 17
If you are using signal(2), change to sigaction(2). |
|
o***z 发帖数: 133 | 18 use POSIX;
then use something like sigaction to install a signal handler |
|
s****l 发帖数: 78 | 19 C 里面可以用 signal() sigaction() 这类的函数来控制时间,
不难,就是顺序要搞清。
不
。
程 |
|
z*******n 发帖数: 1034 | 20 http://www.informit.com/articles/printerfriendly/2211695
Introduction to "The Java Language Specification, Java SE 8 Edition"
By James Gosling, Gilad Bracha, Alex Buckley, Bill Joy, Guy L. Steele
Date: Jun 12, 2014
The Java® programming language is a general-purpose, concurrent, class-
based, object-oriented language. It is designed to be simple enough that
many programmers can achieve fluency in the language. The Java programming
language is related to C and C++ but is organized rather dif... 阅读全帖 |
|