20807 search results - page 263 / 4162 » How to read a paper |
153
click to vote
MEMOCODE
2006
IEEE
16 years 23 days ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
200
click to vote
ISSRE
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
142
Voted
SEW
2005
IEEE
16 years 10 days ago
2005
IEEE
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...
176
click to vote
SEKE
2005
Springer
16 years 7 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
138
click to vote
MICRO
2003
IEEE
16 years 22 hour ago
2003
IEEE
The physical register file is an important component of a dynamically-scheduled processor. Increasing the amount of parallelism places increasing demands on the physical register...