2694 search results - page 391 / 539 » Frege's New Science |
160
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
The goal of the work described in this paper is to design and build a scalable infrastructure for executing grid applications on a widely distributed set of resources. Such grid i...
188
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
164
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
197
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
164
click to vote
SBACPAD
2007
IEEE
16 years 21 days ago
2007
IEEE
Bioinformatics is among the most active research areas in computer science. In this study, we investigate a suite of workloads in bioinformatics on two multiprocessor systems with...