678 search results - page 106 / 136 » Dependent Types for Program Understanding |
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
IHI
2010
13 years 2 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
SIGMETRICS
2010
ACM
13 years 2 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...