Search Sciweavers | Sciweavers

1120 search results - page 10 / 224

» time 1999

150

click to vote

ACPC
1999
Springer

267views Distributed And Parallel Com...» more ACPC 1999»

Real-Time Layered Video Compression Using SIMD Computation

15 years 10 months ago

Download www.brics.dk

Morten Vadskær Jensen, Brian Nielsen

claim paper

Read More »

162

click to vote

AIMDM
1999
Springer

271views Artificial Intelligence» more AIMDM 1999»

Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data

15 years 10 months ago

Download www.ifs.tuwien.ac.at

Silvia Miksch, Andreas Seyfang, Werner Horn, Chris...

claim paper

Read More »

146

click to vote

RTCSA
1999
IEEE

117views Embedded Systems» more RTCSA 1999»

Voltage-Clock Scaling for Low Energy Consumption in Real-Time Embedded Systems

15 years 10 months ago

Download www.soe.uoguelph.ca

Yann-Hang Lee, C. Mani Krishna

claim paper

Read More »

136

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

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

15 years 10 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

154

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers