250 search results - page 16 / 50 » Towards a hierarchical design and integration of programming... |
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
FGCN
2008
IEEE
14 years 2 months ago
2008
IEEE
Vehicular network became one of the most active and emerging fields of research during last decade. Its use in diversified applications (for example safe driving, congestion avoid...
CPHYSICS
2007
13 years 8 months ago
2007
In parallel to the ITER project itself, many initiatives address complementary technological issues relevant to a fusion reactor, as well as many remaining scientific issues. One...
ISESE
2003
IEEE
14 years 1 months ago
2003
IEEE
Pair programming is a practice in which two programmers work collaboratively at one computer on the same design, algorithm, code, or test. Pair programming is becoming increasingl...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation...