2142 search results - page 289 / 429 » Representing Time in Multimedia Systems |
154
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
134
Voted
ICFP
1998
ACM
15 years 8 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
160
click to vote
LOPSTR
1992
Springer
15 years 8 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
139
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
186
Voted
ESOP
2012
Springer
14 years 6 days ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...