2777 search results - page 192 / 556 » Example centric programming |
112
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
78
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
186
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
177
Voted
ICDE
1996
IEEE
16 years 2 months ago
1996
IEEE
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipula...
82
Voted
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Abstract--We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: MultiEvent...