837 search results - page 106 / 168 » Hard combinators |
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
101
click to vote
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
To better understand what makes Application Programming Interfaces (APIs) hard to use and how to improve them, recent research has begun studying programmers' strategies and ...
114
click to vote
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...