8874 search results - page 189 / 1775 » A New Implementation of Automath |
100
click to vote
FMOODS
2007
15 years 5 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
138
click to vote
JUCS
2010
15 years 2 months ago
2010
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
133
click to vote
CONCURRENCY
2002
15 years 4 months ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
353
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Wireless Sensor Networks (WSNs) are no longer a nascent technology and today, they are actively deployed as a viable technology in many diverse application domains such as health ...
131
click to vote
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...