Search Sciweavers | Sciweavers

31387 search results - page 204 / 6278

» Abstracting abstract machines

147

click to vote

CAEPIA
2005
Springer

66views Artificial Intelligence» more CAEPIA 2005»

A Hierarchical Pattern Matching Procedure for Signal Abstraction

16 years 1 days ago

Download biolab.uspceu.com

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

claim paper

Read More »

122

click to vote

CASES
2004
ACM

89views System Software» more CASES 2004»

Modular design through component abstraction

16 years 21 hour ago

Download www.irisa.fr

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

claim paper

Read More »

107

click to vote

MM
2004
ACM

114views Multimedia» more MM 2004»

Narrative abstraction model for story-oriented video

16 years 18 hour ago

Download nclab.kaist.ac.kr

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

claim paper

Read More »

142

click to vote

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

16 years 16 hour ago

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

127

click to vote

SENSYS
2004
ACM

120views Sensor Networks» more SENSYS 2004»

Flexible hardware abstraction of the TI MSP430 microcontroller in TinyOS

16 years 15 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers