Sciweavers

8109 search results - page 128 / 1622
» A Model of Component-Based Programming
Sort
View
DAC
1998
ACM
16 years 5 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CP
2006
Springer
15 years 8 months ago
Constraint Programming Models for Graceful Graphs
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
Barbara M. Smith
155
Voted
IEEESCC
2005
IEEE
15 years 10 months ago
Transforming Business Process Models: Enabling Programming at a Higher Level
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
Wei Zhao, Barrett R. Bryant, Fei Cao, Kamal Bhatta...
ER
1998
Springer
123views Database» more  ER 1998»
15 years 9 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...
WSC
2008
15 years 7 months ago
An object-oriented programming approach for a GIS data-driven simulation model of traffic on an inland waterway
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...
Daniel Sasso, William E. Biles