2943 search results - page 158 / 589 » Software Implementation of Synchronous Programs |
166
click to vote
JIT
2004
Springer
15 years 8 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
116
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
129
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
147
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
133
click to vote
CASES
2008
ACM
15 years 5 months ago
2008
ACM
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...