Sciweavers

15840 search results - page 140 / 3168

» The Control of Synchronous Systems

88

RTSS
1999
IEEE

88views Control Systems» more RTSS 1999»

System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection

15 years 7 months ago

System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection

Download www.cesr.ncsu.edu

Alexander G. Dean, John Paul Shen

claim paper

Read More »

109

RTSS
1999
IEEE

130views Control Systems» more RTSS 1999»

Towards Systematic Testing of Distributed Real-Time Systems

15 years 7 months ago

Towards Systematic Testing of Distributed Real-Time Systems

Download www.mrtc.mdh.se

Henrik Thane, Hans Hansson

claim paper

Read More »

96

Voted

HYBRID
1999
Springer

157views Control Systems» more HYBRID 1999»

Verification of Hybrid Systems via Mathematical Programming

15 years 7 months ago

Verification of Hybrid Systems via Mathematical Programming

Download www.cs.unipr.it

Alberto Bemporad, Manfred Morari

claim paper

Read More »

124

Voted

HYBRID
1999
Springer

130views Control Systems» more HYBRID 1999»

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

15 years 7 months ago

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

Download www.control.utoronto.ca

Mireille E. Broucke

claim paper

Read More »

117

RSP
1998
IEEE

99views Control Systems» more RSP 1998»

Rapid Prototyping of Embedded Hardware/Software Systems

15 years 7 months ago

Rapid Prototyping of Embedded Hardware/Software Systems

Download www.hse.ru

Klaus Buchenrieder

claim paper

Read More »

« Prev « First page 140 / 3168 Last » Next »