7124 search results - page 1251 / 1425 » Programming Languages and Operating Systems |
122
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
129
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Idle desktops have been successfully used to run sequential and master-slave task parallel codes on a large scale in the context of volunteer computing. However, execution of messa...
128
click to vote
CN
2007
15 years 2 months ago
2007
— Energy efficient operation is of paramount importance for battery-powered wireless nodes. In an effort to conserve energy, standard protocols for WLANs have the provision for w...
136
Voted
ICCAD
2009
IEEE
15 years 8 days ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
136
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...