1835 search results - page 177 / 367 » Functional Programming of Behavior-Based Systems |
200
click to vote
IWPC
2005
IEEE
16 years 1 days ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
157
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
199
click to vote
WSC
2007
15 years 8 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
174
click to vote
APL
1992
ACM
15 years 10 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
269
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...