Sciweavers

4276 search results - page 256 / 856
» Techniques for Empirical Validation
Sort
View
SMALLTALK
2007
Springer
16 years 23 days ago
Feature driven browsing
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
David Röthlisberger, Orla Greevy, Oscar Niers...
DSD
2006
IEEE
107views Hardware» more  DSD 2006»
16 years 22 days ago
A High Level Power Model for the Nostrum NoC
We propose a power model for the Nostrum NoC. For this purpose an empirical power model of links and switches has been formulated and validated with the Synopsys Power Compiler. T...
Sandro Penolazzi, Axel Jantsch
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
16 years 22 days ago
Affective Quality and Cognitive Absorption: Extending Technology Acceptance Research
Agarwal and Karahanna (2000) suggested that holistic user experiences with IT contribute to users’ evaluation of and reaction to using the technology. They proposed and empirica...
Ping Zhang 0002, Na Li, Heshan Sun
ISSTA
2006
ACM
16 years 19 days ago
Producing scheduling that causes concurrent programs to fail
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel...
SAC
2006
ACM
16 years 19 days ago
Bootstrapping multi-party ad-hoc security
Increasingly pervasive computing throws up scenarios where users may wish to achieve some degree of security in their interaction with other people or equipment, in contexts where...
Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming...