655 search results - page 80 / 131 » Coinduction in Concurrent Timed Systems |
110
click to vote
ATS
2005
IEEE
15 years 5 months ago
2005
IEEE
11 Due to the increasing test data volume needed to test corebased System-on-Chip, several test scheduling techniques minimizing the test application time have been proposed. In co...
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
In heterogeneous and dynamic distributed systems like the Grid, detailed monitoring of workload and its resulting system performance (e.g. response time) is required to facilitate...
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
To increase the scale and performance of scientific applications, scientists commonly distribute computation over multiple processors. Often without realizing it, file I/O is pa...
133
click to vote
SCP
1998
14 years 11 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
116
click to vote
CEEMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...