Sciweavers

1260 search results - page 130 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
JFP
2006
119views more  JFP 2006»
14 years 10 months ago
Gencel: a program generator for correct spreadsheets
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
Martin Erwig, Robin Abraham, Steve Kollmansberger,...
DAWAK
2004
Springer
15 years 3 months ago
Conceptual Design of XML Document Warehouses
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
Vicky Nassis, Rajagopal Rajugan, Tharam S. Dillon,...
HASE
2007
IEEE
14 years 11 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
EMSOFT
2006
Springer
15 years 1 months ago
Polychronous mode automata
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
Jean-Pierre Talpin, Christian Brunette, Thierry Ga...
FPL
2009
Springer
104views Hardware» more  FPL 2009»
15 years 2 months ago
A multi-layered XML schema and design tool for reusing and integrating FPGA IP
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
Adam Arnesen, Nathan Rollins, Michael J. Wirthlin