2004 search results - page 277 / 401 » Interaction nets: programming language design and implementa... |
158
Voted
DUX
2007
15 years 9 months ago
2007
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...
128
Voted
ENGL
2008
15 years 5 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
138
Voted
IFIP
2001
Springer
15 years 9 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
148
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
157
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...