Search Sciweavers | Sciweavers

12333 search results - page 281 / 2467

» System Level Modelling for Hardware Software Systems

100

click to vote

CODES
1999
IEEE

95views Software Engineering» more CODES 1999»

Designing digital video systems: modeling and scheduling

15 years 11 months ago

Download www.cecs.uci.edu

H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...

claim paper

Read More »

125

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 11 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

163

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 10 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

156

click to vote

EUROSYS
2011
ACM

262views Software Engineering» more EUROSYS 2011»

Fine-grained power modeling for smartphones using system call tracing

14 years 10 months ago

Download eurosys2011.cs.uni-salzburg.at

Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Paramvi...

claim paper

Read More »

132

click to vote

CAV
1990
Springer

114views Hardware» more CAV 1990»

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

15 years 10 months ago

Download www.cs.cmu.edu

Ternary system modeling involves extending the traditional set of binary values

Randal E. Bryant, Carl-Johan H. Seger

claim paper

Read More »

« Prev « First page 281 / 2467 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers