921 search results - page 61 / 185 » SyCE: An Integrated Environment for System Design in SystemC |
ECTEL
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Current Learning Management Systems were typically conceived to offer a self-contained "one size fits all" learning environment. Adaptive educational systems ha...
FDL
2004
IEEE
14 years 19 days ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...
IASTEDSEA
2004
13 years 10 months ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...