4306 search results - page 544 / 862 » Timed Testing with TorX |
157
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
166
click to vote
SIES
2009
IEEE
15 years 11 months ago
2009
IEEE
—We introduce variable-bandwidth servers (VBS) for scheduling and executing processes under programmable temporal isolation. A VBS is an extension of a constant-bandwidth server ...
133
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider the problem of tracking multiple agents moving amongst obstacles, using multiple cameras. Given an environment with obstacles, and many people moving through it, we...
116
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Virtual project teams are spontaneous group configurations that endeavor to overcome spatial and temporal restrictions in bringing together distant experts to create just-in-time ...
125
click to vote
ICPADS
2008
IEEE
15 years 10 months ago
2008
IEEE
The resolution of combinatorial assortments of protein sequences into domains is a prerequisite for protein sequence interpretation. However the recognition and clustering of homo...