7206 search results - page 1221 / 1442 » Using a Hypermedia System for Systems Engineering |
136
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
153
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
120
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
130
click to vote
MSE
2003
IEEE
15 years 9 months ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
116
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...