1690 search results - page 144 / 338 » Algorithmic Properties of Millstream Systems |
120
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
130
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper outlines major challenges that we are facing in interfacing a human user with objects in the nanoworld via a haptic interface. After a review of prior efforts at haptic...
114
click to vote
EMO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
118
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
129
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...