11328 search results - page 221 / 2266 » Timed Branching Processes |
111
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
102
click to vote
ASPDAC
2010
ACM
2010
ACM
Adaptive performance control with embedded timing error predictive sensors for subthreshold circuits
15 years 2 months ago
Abstract-- This paper presents an adaptive technique for compensating manufacturing and environmental variability in subthreshold circuits using "canary flip-flop" that c...
120
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
127
Voted
ER
2008
Springer
15 years 5 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
120
Voted
ICIAP
1999
ACM
15 years 8 months ago
1999
ACM
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...