8874 search results - page 206 / 1775 » A New Implementation of Automath |
110
click to vote
CSMR
2003
IEEE
15 years 9 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This is complicated work, particularly in large applications, and tools are ne...
115
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
Future networked appliances should be able to download new services or upgrades from the network and execute them locally. This flexibility is typically achieved by processors tha...
128
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
123
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
The focus of this paper is on the design and implementation of a critical program in structural biology onto two computational and data grids. The first is the Buffalo-based ACDC ...
149
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...