Search Sciweavers | Sciweavers

1699 search results - page 19 / 340

» A timed semantics of Orc

click to vote

DEXAW
1996
IEEE

155views Database» more DEXAW 1996»

Real-Time Scheduling for Semantic Concurrency Control of Object-Oriented Database Systems

15 years 1 months ago

Download www.dee.ufcg.edu.br

Yoshihiko Murakami, Mayumi Nishikaku, Tsukasa Okad...

claim paper

Read More »

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 1 months ago

Download www.cad.zju.edu.cn

Tei-Wei Kuo, Aloysius K. Mok

claim paper

Read More »

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 1 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

PLILP
1995
Springer

83views Programming Languages» more PLILP 1995»

A Semantic Model of Binding Times for Safe Partial Evaluation

15 years 1 months ago

Download repository.readscheme.org

Fritz Henglein, David Sands

claim paper

Read More »

click to vote

AIPS
1994

80views Artificial Intelligence» more AIPS 1994»

Branching Continuous Time and the Semantics of Continuous Action

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers