Sciweavers

5326 search results - page 917 / 1066
» On what we can ensure
Sort
View

Publication
208views
16 years 8 months ago
Making the Montreal indoor city accessible to people with disabilities
Indoor pedestrian networks are a facet of the built environment in many cities around the world. They can be built for many reasons, including separating pedestrians from motor veh...
Hagg, M. & El-Geneidy, A.
ICDE
2004
IEEE
108views Database» more  ICDE 2004»
16 years 7 months ago
Priority Mechanisms for OLTP and Transactional Web Applications
Transactional workloads are a hallmark of modern OLTP and Web applications, ranging from electronic commerce and banking to online shopping. Often, the database at the core of the...
David T. McWherter, Bianca Schroeder, Anastassia A...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Feedback-Directed Random Test Generation
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ern...
ICFP
2006
ACM
16 years 6 months ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...
EUROSYS
2009
ACM
16 years 3 months ago
Automated control of multiple virtualized resources
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...
Pradeep Padala, Kai-Yuan Hou, Kang G. Shin, Xiaoyu...