Search Sciweavers | Sciweavers

31387 search results - page 204 / 6278

» Abstracting abstract machines

159

click to vote

CAEPIA
2005
Springer

66views Artificial Intelligence» more CAEPIA 2005»

A Hierarchical Pattern Matching Procedure for Signal Abstraction

16 years 21 days ago

Download biolab.uspceu.com

Abraham Otero, Paulo Félix, Santiago Fraga,...

claim paper

Read More »

129

Voted

CASES
2004
ACM

89views System Software» more CASES 2004»

Modular design through component abstraction

16 years 20 days ago

Download www.irisa.fr

David Berner, Jean-Pierre Talpin, Paul Le Guernic,...

claim paper

Read More »

117

click to vote

MM
2004
ACM

114views Multimedia» more MM 2004»

Narrative abstraction model for story-oriented video

16 years 20 days ago

Download nclab.kaist.ac.kr

Byunghee Jung, Tae-Yeong Kwak, Junehwa Song, Yoon-...

claim paper

Read More »

153

click to vote

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

16 years 20 days ago

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

148

click to vote

SENSYS
2004
ACM

120views Sensor Networks» more SENSYS 2004»

Flexible hardware abstraction of the TI MSP430 microcontroller in TinyOS

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers