10241 search results - page 1732 / 2049 » Goal-Driven Software Development |
130
click to vote
IOLTS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
109
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
The Cell is a heterogeneous multicore processor that has attracted much attention in the HPC community. The bulk of the computational workload on the Cell processor is carried by ...
148
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
121
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
172
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...