Sciweavers

928 search results - page 134 / 186
» Towards Design Space Exploration for Biological Systems
Sort
View
CEC
2009
IEEE
15 years 6 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch
GECCO
2009
Springer
162views Optimization» more  GECCO 2009»
15 years 4 months ago
TestFul: using a hybrid evolutionary algorithm for testing stateful systems
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
IROS
2009
IEEE
180views Robotics» more  IROS 2009»
15 years 6 months ago
HELIOS system: A team of tracked robots for special urban search and rescue operations
Abstract— Fire brigades and special agencies are often demanded to operate for search and aid of human lives in extremely dangerous scenarios. It is very important to first veri...
Michele Guarnieri, Ryo Kurazume, Hiroshi Masuda, T...
DAC
2010
ACM
14 years 10 months ago
MFTI: matrix-format tangential interpolation for modeling multi-port systems
Numerous algorithms to macromodel a linear time-invariant (LTI) system from its frequency-domain sampling data have been proposed in recent years [1, 2, 3, 4, 5, 6, 7, 8], among w...
Yuanzhe Wang, Chi-Un Lei, Grantham K. H. Pang, Nga...
154
Voted
SIGMOD
2006
ACM
111views Database» more  SIGMOD 2006»
16 years 19 hour ago
On the database/network interface in large-scale publish/subscribe systems
The work performed by a publish/subscribe system can conceptually be divided into subscription processing and notification dissemination. Traditionally, research in the database a...
Badrish Chandramouli, Jun Yang 0001, Junyi Xie