613 search results - page 26 / 123 » Executable Visual Contracts |
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...
ISBI
2006
IEEE
14 years 5 months ago
2006
IEEE
Evaluating myocardial viability is an important prognostic factor in the follow-up of infarctions. Delayed Enhancement (DE) perfusion images in MRI have been shown to be very valu...
WECWIS
2007
IEEE
14 years 5 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
ACMSE
2004
ACM
14 years 4 months ago
2004
ACM
Modern processors include features such as deep pipelining, multilevel cache hierarchy, branch predictors, out of order execution engine, and advanced floating point and multimedi...
INFOVIS
1999
IEEE
14 years 3 months ago
1999
IEEE
The advent of superscalar processors with out-of-order execution makes it increasingly difficult to determine how well an application is utilizing the processor and how to adapt t...