2500 search results - page 178 / 500 » Specifying Behavior in C |
140
Voted
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
115
Voted
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
1 A highly-efficient fetch unit is essential not only to obtain good performance but also to achieve energy efficiency. However, existing designs are inflexible and depending on pr...
113
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
121
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
127
Voted
CA
2003
IEEE
15 years 8 months ago
2003
IEEE
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...