Search Sciweavers | Sciweavers

1154 search results - page 14 / 231

» Mathematizing C concurrency

116

Voted

SIAMJO
2008

92views more SIAMJO 2008»

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

15 years 2 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 »

click to vote

NCA
2008
IEEE

121views Computer Networks» more NCA 2008»

Supporting Concurrent Task Deployment Wireless Sensor Networks

15 years 9 months ago

Download hulk.bu.edu

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

claim paper

Read More »

105

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

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

15 years 7 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

click to vote

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

15 years 7 months ago

Download ceti.cse.ohio-state.edu

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

claim paper

Read More »

128

click to vote

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