Sciweavers

1791 search results - page 198 / 359
» Behavioral Operations
Sort
View
CAV
2010
Springer
179views Hardware» more  CAV 2010»
15 years 8 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
HOTOS
2007
IEEE
15 years 8 months ago
Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications
AJAX-based web applications are enabling the next generation of rich, client-side web applications, but today's web application developers do not have the end-to-end visibili...
Emre Kiciman, Helen J. Wang
ESA
2006
Springer
130views Algorithms» more  ESA 2006»
15 years 7 months ago
Robust, Generic and Efficient Construction of Envelopes of Surfaces in Three-Dimensional Spaces
Lower envelopes are fundamental structures in computational geometry, which have many applications, such as computing general Voronoi diagrams and performing hidden surface removal...
Michal Meyerovitch
ARVLSI
2001
IEEE
305views VLSI» more  ARVLSI 2001»
15 years 7 months ago
Logic Design Considerations for 0.5-Volt CMOS
As the operating supply voltage for commercial CMOS devices falls below 2 V, research activities are underway to develop CMOS integrated circuits that can operate at supply voltag...
K. Joseph Hass, Jack Venbrux, Prakash Bhatia
USENIX
2008
15 years 6 months ago
Cutting Corners: Workbench Automation for Server Benchmarking
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...
Piyush Shivam, Varun Marupadi, Jeffrey S. Chase, T...