1407 search results - page 230 / 282 » Using Use Cases in Executable Z |
130
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Dynamic voltage scaling (DVS) is a well-known low power design technique that reduces the processor energy by slowing down the DVS processor and stretching the task execution time...
107
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
113
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
104
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
MOBISYS
2007
ACM
16 years 2 months ago
2007
ACM
Cyber foraging is the transient and opportunistic use of compute servers by mobile devices. The short market life of such devices makes rapid modification of applications for remo...