3706 search results - page 693 / 742 » The Transformational Approach to Program Development |
132
click to vote
SAS
2010
Springer
15 years 22 days ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
130
click to vote
IPPS
2010
IEEE
15 years 8 days ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
117
Voted
TACAS
2010
Springer
15 years 6 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
147
click to vote
HCI
2009
15 years 3 days ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
148
Voted
ICOODB
2009
15 years 2 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...