2364 search results - page 57 / 473 » An Engine for Computing Well-Founded Models |
153
click to vote
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
125
click to vote
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
120
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
ACG
2009
Springer
15 years 10 months ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
144
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...