2300 search results - page 101 / 460 » Maximally Concurrent Programs |
163
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
129
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
172
click to vote
RTCSA
2008
IEEE
16 years 18 days ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
162
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Recent technology advances in multimedia communication have ushered in a new era of personal communication. Users can ubiquitously access the Internet via various mobile devices. ...
159
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
Consider a convex set P in IRd and a piecewise polynomial concave function F: P IR. Let A be an algorithm that given a point x IRd computes F(x) if x P, or returns a concave po...