2662 search results - page 303 / 533 » Objects-early tools: a demonstration |
198
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
176
click to vote
ACSC
2007
IEEE
16 years 28 days ago
2007
IEEE
The design guideline avoid dependency cycles among modules was ļ¬rst alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a programā...
159
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
The clock tree is the interconnect net on Systems-on-Chip (SoCs) with the heaviest load and consumes up to 40% of the overall power budget. Substantial savings of the overall powe...
173
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
171
click to vote
DSD
2007
IEEE
16 years 28 days ago
2007
IEEE
Today energy is an important factor in designing a multiprocessor system. The overall goal of this work is to propose a methodology for design space exploration of VLIW multiproce...