Sciweavers

8398 search results - page 1296 / 1680
» Optimal Software Testing
Sort
View
CORR
2002
Springer
96views Education» more  CORR 2002»
15 years 6 months ago
Models and Tools for Collaborative Annotation
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
Xiaoyi Ma, Haejoong Lee, Steven Bird, Kazuaki Maed...
VLDB
2002
ACM
135views Database» more  VLDB 2002»
15 years 6 months ago
Monitoring Streams - A New Class of Data Management Applications
This paper introduces monitoring applications, which we will show differ substantially from conventional business data processing. The fact that a software system must process and...
Donald Carney, Ugur Çetintemel, Mitch Chern...
SAC
2008
ACM
15 years 6 months ago
Decentralized coordination strategies for the vehicle routing problem
Modern software control systems must cope with uncertainty, manage dynamic environments, as well as provide greater flexibility. Distributed agent-based control systems are the id...
Matteo Vasirani, Sascha Ossowski
IEEEHPCS
2010
15 years 5 months ago
An FPGA design for the stochastic Greenberg-Hastings cellular automata
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...
Nikolaos Vlassopoulos, Nazim Fatès, Hugues ...
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 5 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
« Prev « First page 1296 / 1680 Last » Next »