4139 search results - page 697 / 828 » Designing and Implementing Combinator Languages |
111
click to vote
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
107
Voted
HPDC
2002
IEEE
15 years 4 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we propose an online aggregation system called COSMOS (Continuous Sampling for Multiple queries in an Online aggregation System), to process multiple aggregate quer...
SIGGRAPH
2010
ACM
15 years 3 months ago
2010
ACM
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...
101
click to vote
IWAN
2001
Springer
15 years 3 months ago
2001
Springer
Active networks have been recently highlighted as a key enabling technology to obtain immense flexibility in terms of network deployment, configurability, and customized packet pro...