Sciweavers

1489 search results - page 60 / 298
» The First Bug Report
Sort
View
MICRO
2010
IEEE
161views Hardware» more  MICRO 2010»
15 years 1 months ago
AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection
A particularly insidious type of concurrency bug is atomicity violations. While there has been substantial work on automatic detection of atomicity violations, each existing techn...
Abdullah Muzahid, Norimasa Otsuki, Josep Torrellas
SIGSOFT
2010
ACM
15 years 1 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
ISJ
2002
88views more  ISJ 2002»
15 years 3 months ago
Constructing a web information system development methodology
Abstract. This paper reports on the extension of the Multiview framework to webbased information systems. The aims are firstly to investigate the appropriateness of Multiview
Richard T. Vidgen
JAIHC
2010
88views more  JAIHC 2010»
14 years 10 months ago
SmartEx: a case study on user profiling and adaptation in exhibition booths
Abstract An investigation into user profiling and adaptation with exhibition booth as a case study is reported. First a review of the field of exhibitions and trade fairs and
Ben Salem, Jorge Alves Lino, Matthias Rauterberg
ISLPED
1997
ACM
91views Hardware» more  ISLPED 1997»
15 years 7 months ago
Fully depleted CMOS/SOI device design guidelines for low power applications
In this paper we report the fully depleted CMOS/SOI device design guidelines for low power applications. Optimal technology, device and circuit parameters are discussed and compar...
Srinivasa R. Banna, Philip C. H. Chan, Mansun Chan...