9210 search results - page 1553 / 1842 » Analyzing Real-Time Systems |
122
Voted
GW
2003
Springer
15 years 6 months ago
2003
Springer
The interactive game environment, Ghost in the Cave, presented in this short paper, is a work still in progress. The game involves participants in an activity using non-verbal emot...
118
click to vote
ICSE
2003
IEEE-ACM
15 years 6 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
115
Voted
ICTCS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
95
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—In a conventional SoC designs, on-chip memories occupy more than the 50% of the total die area. 3D technology enables the distribution of logic and memories on separate stacked ...
130
click to vote
SSDBM
2010
IEEE
15 years 5 months ago
2010
IEEE
Science is becoming data-intensive, requiring new software architectures that can exploit resources at all scales: local GPUs for interactive visualization, server-side multi-core ...