15253 search results - page 2552 / 3051 » Integer-Programming Software Systems |
214
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
167
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...
196
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
232
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
241
click to vote
CCE
2011
15 years 28 days ago
2011
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...