2632 search results - page 257 / 527 » Alternating Timed Automata |
141
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
131
click to vote
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...
212
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Applications that require real-time processing of high-volume data steams are pushing the limits of traditional data processing infrastructures. These stream-based applications in...
143
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...
141
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...