Sciweavers

2542 search results - page 355 / 509
» One step ahead
Sort
View
CCE
2006
15 years 5 months ago
Bayesian-based on-line applicability evaluation of neural network models in modeling automotive paint spray operations
The neural network (NN) models well trained and validated by the same data may exhibit noticeably different predictabilities in applications. This is mainly due to the fact that t...
Jia Li, Yinlun Huang
IJAIT
2008
99views more  IJAIT 2008»
15 years 5 months ago
Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...
Abid M. Malik, Jim McInnes, Peter van Beek
IANDC
2006
117views more  IANDC 2006»
15 years 5 months ago
A modular approach to defining and characterising notions of simulation
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
Corina Cîrstea
147
Voted
IEICET
2006
114views more  IEICET 2006»
15 years 5 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
COMSIS
2007
80views more  COMSIS 2007»
15 years 5 months ago
"Security of Computer Systems and Networks" Book Preview
This paper presents preview of the new book titled “Security of Computer Systems and Networks” (original in Serbian language “Sigurnost računarskih sistema i mreža”) – ...
Dragan Pleskonjic, Nemanja Macek, Borislav Djordje...