Search Sciweavers | Sciweavers

7557 search results - page 17 / 1512

» Modeling Timed Concurrent Systems

116

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

15 years 11 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

109

click to vote

TCC
2010
Springer

119views Cryptology» more TCC 2010»

Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model

15 years 2 months ago

Download www.cs.cornell.edu

Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrish...

claim paper

Read More »

120

click to vote

RTSS
1992
IEEE

131views Control Systems» more RTSS 1992»

Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications

15 years 8 months ago

Download www.cad.zju.edu.cn

Tei-Wei Kuo, Aloysius K. Mok

claim paper

Read More »

125

click to vote

TKDE
2002

98views more TKDE 2002»

A Study of Concurrency Control in Real-Time, Active Database Systems

15 years 4 months ago

Download www.cs.virginia.edu

Anindya Datta, Sang Hyuk Son

claim paper

Read More »

136

click to vote

CODES
1999
IEEE

104views Software Engineering» more CODES 1999»

Timing coverification of concurrent embedded real-time systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers