5838 search results - page 421 / 1168 » A File System for System Programming in Ubiquitous Computing |
146
click to vote
ISLPED
2005
ACM
15 years 11 months ago
2005
ACM
ABSTRACT Motivated by data value locality and quality tolerance present in multimedia applications, we propose a new micro-architecture, Region-level Approximate Computation Buffer...
237
click to vote
LDTA
2010
15 years 6 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
170
click to vote
BIRTHDAY
2010
Springer
15 years 11 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
159
click to vote
FCT
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
175
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...