241 search results - page 43 / 49 » Thread Partitioning and Scheduling Based on Cost Model |
ICSE
2000
IEEE-ACM
14 years 21 hour ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
IJFCS
2006
13 years 8 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
As the next generation network begins to incorporate the Internet, telecommunication and TV services, it becomes one of the most critical infrastructures for our society. Routers c...
CBSQ
2003
Springer
14 years 1 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
WSC
1998
13 years 9 months ago
1998
This paper presents the analysis of the optimization for the production of precast pieces in a workshop with the help of simulation to obtain several working alternatives. The mai...