1541 search results - page 292 / 309 » Tools and Techniques for Model Checking Networked Programs |
102
Voted
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
104
Voted
SIGGRAPH
1997
ACM
15 years 4 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
123
Voted
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
Our digital universe is growing, creating exploding amounts of data which need to be searched, protected and filtered. String searching is at the core of the tools we use to curb...
120
click to vote
AAAI
2000
15 years 1 months ago
2000
Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...
111
Voted
MOBISYS
2003
ACM
16 years 7 hour ago
2003
ACM
This paper introduces adaptation-aware editing and progressive update propagation, two novel mechanisms that enable authoring multimedia content and collaborative work on mobile d...