1760 search results - page 94 / 352 » A System to Mark Programs Automatically |
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
ISSTA
2010
ACM
15 years 2 days ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
IJSN
2006
14 years 12 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
ICMB
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper discusses a personalized heart monitoring system using smart phones and wireless (bio) sensors. We combine ubiquitous computing with mobile health technology to monitor...
137
click to vote
TOPLAS
2010
14 years 10 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...