Sciweavers

2118 search results - page 356 / 424
» Execution of A Requirement Model in Software Development
Sort
View
FPL
2003
Springer
259views Hardware» more  FPL 2003»
15 years 2 months ago
Branch Optimisation Techniques for Hardware Compilation
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
Henry Styles, Wayne Luk
ISPAN
1999
IEEE
15 years 2 months ago
Performance and Granularity Control in the SPaDES Parallel Simulation System
Parallel simulationhas the potentialto accelerate the execution of simulation applications. However, developing a parallel discrete-event simulation from scratch requires an in-de...
Yong Meng Teo, Seng Chuan Tay
ICWS
2007
IEEE
14 years 11 months ago
A Semantic Framework for Identifying Events in a Service Oriented Architecture
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related r...
Karthik Gomadam, Ajith Ranabahu, Lakshmish Ramaswa...
WSC
2000
14 years 11 months ago
Interactive Web-based animations for teaching and learning
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
Michael Syrjakow, Jörg Berdux, Helena Szczerb...
ICFEM
2004
Springer
15 years 3 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...