Search Sciweavers | Sciweavers

29172 search results - page 422 / 5835

» Modeling Systems in CLP

168

click to vote

DATE
2004
IEEE

118views Hardware» more DATE 2004»

Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals

15 years 10 months ago

Download www.tauworkshop.com

Peter Feldmann

claim paper

Read More »

142

click to vote

DATE
2004
IEEE

133views Hardware» more DATE 2004»

Model-Based Specification and Execution of Embedded Real-Time Systems

15 years 10 months ago

Download jerry.c-lab.de

Tim Schattkowsky, Wolfgang Müller 0003

claim paper

Read More »

136

click to vote

CIKM
2006
Springer

96views Information Technology» more CIKM 2006»

Modeling performance-driven workload characterization of web search systems

15 years 10 months ago

Download homepages.dcc.ufmg.br

Claudine Santos Badue, Ricardo A. Baeza-Yates, Ber...

claim paper

Read More »

153

click to vote

CMSB
2006
Springer

78views Applied Computing» more CMSB 2006»

Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins

15 years 10 months ago

Download eprints.biblio.unitn.it

Matteo Cavaliere, Sean Sedwards

claim paper

Read More »

167

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers