9626 search results - page 1278 / 1926 » Invariant Based Programming |
216
Voted
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
201
click to vote
ASPLOS
2004
ACM
16 years 21 days ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...
221
click to vote
ISSTA
2004
ACM
16 years 21 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
173
Voted
SIGCSE
2004
ACM
16 years 21 days ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
185
Voted
SIGSOFT
2004
ACM
16 years 21 days ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...