Search Sciweavers | Sciweavers

17082 search results - page 161 / 3417

» Abstractions for Mobile Computation

click to vote

RTCSA
2009
IEEE

156views Embedded Systems» more RTCSA 2009»

The Multi Supply Function Abstraction for Multiprocessors

15 years 10 months ago

Download retis.sssup.it

Enrico Bini, Giorgio C. Buttazzo, Marko Bertogna

claim paper

Read More »

112

Voted

RTCSA
2008
IEEE

91views Embedded Systems» more RTCSA 2008»

New Abstraction for Optimal Real-Time Scheduling on Multiprocessors

15 years 10 months ago

Download www.il.is.s.u-tokyo.ac.jp

Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki

claim paper

Read More »

129

Voted

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 9 months ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

150

Voted

ISWC
2005
IEEE

161views Human Computer Interaction» more ISWC 2005»

Fine-Grained Activity Recognition by Aggregating Abstract Object Usage

15 years 9 months ago

Download www.cs.washington.edu

Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...

claim paper

Read More »

104

Voted

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers