Sciweavers

3814 search results - page 247 / 763
» YAPI: application modeling for signal processing systems
Sort
View
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 4 months ago
A Framework for Agile Development of Component-Based Applications
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
Guillaume Waignier, Estéban Duguepér...
FPGA
2003
ACM
161views FPGA» more  FPGA 2003»
15 years 10 months ago
Implementation of BEE: a real-time large-scale hardware emulation engine
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
Chen Chang, Kimmo Kuusilinna, Brian C. Richards, R...
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
15 years 10 months ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
ISSRE
2006
IEEE
15 years 10 months ago
Queuing Models for Field Defect Resolution Process
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
Swapna S. Gokhale, Robert E. Mullen
MKWI
2008
135views Business» more  MKWI 2008»
15 years 6 months ago
Ontology-based process mediation in the European project BRITE
: Service-oriented architectures (SOA) are recent architectures enabling interoperable machine-to-machine process interaction by generating a comprehensive view of independent soft...
Ansgar Mondorf, Timo Herborn