626 search results - page 58 / 126 » When Can Formal Methods Make a Real Difference |
125
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
The performance of virtual machines (e.g., Java Virtual Machines—JVMs) can be significantly improved when critical code sections (e.g., Java bytecode methods) are migrated from...
100
click to vote
ICCBR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
122
Voted
FPL
2005
Springer
15 years 9 months ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
48
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipula...
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...