1258 search results - page 45 / 252 » Table design in dynamic programming |
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
189
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
102
click to vote
EUROSYS
2007
ACM
15 years 3 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
115
click to vote
WCRE
2000
IEEE
15 years 4 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...