4323 search results - page 712 / 865 » Callback Implementations in C |
177
click to vote
CCGRID
2003
IEEE
16 years 8 days ago
2003
IEEE
Fixed-parameter tractability (FPT) techniques have recently been successful in solving NP-complete problem instances of practical importance which were too large to be solved with...
230
Voted
SBACPAD
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
186
Voted
PLDI
2003
ACM
16 years 6 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
214
Voted
SACMAT
2003
ACM
16 years 6 days ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
209
Voted
SENSYS
2003
ACM
16 years 6 days ago
2003
ACM
Event-driven sensor networks operate under an idle or light load and then suddenly become active in response to a detected or monitored event. The transport of event impulses is l...