Sciweavers

1529 search results - page 52 / 306
» A Taxonomy of Software Component Models
Sort
View
HCI
2007
15 years 5 months ago
Tasks Models Merging for High-Level Component Composition
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
Arnaud Lewandowski, Sophie Lepreux, Grégory...
WCE
2007
15 years 5 months ago
OptiTest: Optimizing Test Case Using Hybrid Intelligence
This paper deals with the identification of best and optimized test cases in program components and software artifacts. Our purpose is to simulate the model on a sample software pr...
Mohammed Al-Fayoumi, Prabhat Mahanti, Soumya Baner...
FCCM
2006
IEEE
100views VLSI» more  FCCM 2006»
15 years 10 months ago
Enabling a Uniform Programming Model Across the Software/Hardware Boundary
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
Erik Anderson, Jason Agron, Wesley Peck, Jim Steve...
ENTCS
2007
116views more  ENTCS 2007»
15 years 4 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
IRI
2003
IEEE
15 years 9 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan