Sciweavers

619 search results - page 39 / 124
» Visualization of Concurrent Program Executions
Sort
View
ISSTA
2010
ACM
15 years 3 months ago
Analyzing concurrency bugs using dual slicing
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
Dasarath Weeratunge, Xiangyu Zhang, William N. Sum...
MICRO
2000
IEEE
118views Hardware» more  MICRO 2000»
15 years 4 months ago
A study of slipstream processors
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
Zachary Purser, Karthik Sundaramoorthy, Eric Roten...
CORR
2011
Springer
197views Education» more  CORR 2011»
14 years 6 months ago
High-Throughput Transaction Executions on Graphics Processors
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...
Bingsheng He, Jeffrey Xu Yu
COORDINATION
2009
Springer
16 years 10 days ago
Exceptionally Safe Futures
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
Armand Navabi, Suresh Jagannathan
CDVE
2005
Springer
15 years 5 months ago
A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Drom...