13917 search results - page 2634 / 2784 » Abstraction of Probabilistic Systems |
185
click to vote
ICTAC
2004
Springer
16 years 11 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
210
click to vote
LCTRTS
2004
Springer
16 years 11 days ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
199
click to vote
MFCS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
334
click to vote
OOPSLA
2004
Springer
16 years 11 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
169
click to vote
WCW
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Streaming media workloads have a number of desirable properties that make them good candidates for caching via proxy systems. The content does not get modified, and acce...