1342 search results - page 73 / 269 » Ordered Programs as Abductive Systems |
181
click to vote
CONSTRAINTS
2008
15 years 5 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
168
Voted
ASPDAC
2011
ACM
14 years 8 months ago
2011
ACM
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...
139
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
149
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
If we expect the computer to vanish in the background, to make pervasive computing a reality, first we must be able to provide the illusion that all the user’s computers, devic...
139
click to vote
IWPC
2006
IEEE
15 years 11 months ago
2006
IEEE
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...