Sciweavers

2404 search results - page 334 / 481
» Postmodernism and Control Engineering
Sort
View
ISORC
2005
IEEE
15 years 6 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 6 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
ARCS
2005
Springer
15 years 6 months ago
Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
Sascha Uhrig, Theo Ungerer
CBSE
2005
Springer
15 years 6 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
EUROSPI
2005
Springer
15 years 6 months ago
Pair Programming vs. Side-by-Side Programming
In agile methodologies communication between programmers is very important. Some of them (e.g. XP or Crystal Clear) recommend pair programming. There are two styles of pair program...
Jerzy R. Nawrocki, Michal Jasiñski, Lukasz ...