Sciweavers

684 search results - page 53 / 137
» Requirements for an Elucidative Programming Environment
Sort
View
151
Voted
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 7 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
INTERFACES
2008
77views more  INTERFACES 2008»
15 years 4 months ago
Showcase Scheduling at Fred Astaire East Side Dance Studio
: The ballroom dancing showcases at Fred Astaire East Side Dance Studio in Manhattan are held at least twice a year and provide the students with an environment for socializing, pr...
Miguel A. Lejeune, Nevena Yakova
CACM
2010
140views more  CACM 2010»
15 years 1 months ago
FastTrack: efficient and precise dynamic race detection
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
Cormac Flanagan, Stephen N. Freund
ITICSE
2009
ACM
15 years 10 months ago
Xen worlds: leveraging virtualization in distance education
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
Benjamin R. Anderson, Amy K. Joines, Thomas E. Dan...
ICSE
1998
IEEE-ACM
15 years 8 months ago
Consistency Management for Complex Applications
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
Peri L. Tarr, Lori A. Clarke