Search Sciweavers | Sciweavers

1154 search results - page 14 / 231

» Mathematizing C concurrency

122

click to vote

SIAMJO
2008

92views more SIAMJO 2008»

An Active-Set Newton Method for Mathematical Programs with Complementarity Constraints

15 years 3 months ago

Download pages.cs.wisc.edu

For a mathematical program with complementarity constraints (MPCC), we propose an active-set Newton method, which has the property of local quadratic convergence under the MPCC lin...

Alexey F. Izmailov, Mikhail V. Solodov

claim paper

Read More »

Voted

NCA
2008
IEEE

121views Computer Networks» more NCA 2008»

Supporting Concurrent Task Deployment Wireless Sensor Networks

15 years 10 months ago

Download hulk.bu.edu

Song Guo, Chunxia Fan, Thomas D. C. Little

claim paper

Read More »

110

Voted

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

15 years 8 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

101

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 8 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

135

Voted

RTCSA
1996
IEEE

100views Embedded Systems» more RTCSA 1996»

Impact of priority assignment on optimistic concurrency control in distributed real-time databases

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers