Search Sciweavers | Sciweavers

15777 search results - page 498 / 3156

» The Reformulation-Optimization Software Engine

104

click to vote

APSEC
1998
IEEE

113views Software Engineering» more APSEC 1998»

Interpreting the Object Constraint Language

15 years 9 months ago

Download www.cs.kent.ac.uk

The Object Constraint Language (OCL), which forms part

Ali Hamie, John Howse, Stuart Kent

claim paper

Read More »

115

click to vote

CODES
1998
IEEE

110views Software Engineering» more CODES 1998»

Energy-conscious HW/SW-partitioning of embedded systems: a case study on an MPEG-2 encoder

15 years 9 months ago

Download www.cs.ucr.edu

Energy dissipationis a hot topic in the design of

Jörg Henkel, Yanbing Li

claim paper

Read More »

103

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 9 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

111

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 9 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

107

click to vote

ICSE
1999
IEEE-ACM

112views Software Engineering» more ICSE 1999»

N Degrees of Separation: Multi-Dimensional Separation of Concerns

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers