1346 search results - page 160 / 270 » Alternating-time dynamic logic |
167
click to vote
ISLPED
2009
ACM
16 years 1 days ago
2009
ACM
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...
157
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
144
click to vote
MM
1993
ACM
15 years 9 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
145
click to vote
FPGA
2006
ACM
15 years 9 months ago
2006
ACM
Embedded memory blocks are important resources in contemporary FPGA devices. When targeting FPGAs, application designers often specify high-level memory functions which exhibit a ...
142
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...