1425 search results - page 168 / 285 » Distributed Development of Complex Software Systems with Obj... |
116
click to vote
TASE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
109
click to vote
ICPPW
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...
146
click to vote
CVPR
1997
IEEE
16 years 4 months ago
1997
IEEE
Shape indexing is a way of making rapid associations between features detected in an image and object models that could have produced them. When model databases are large, the use...
141
click to vote
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
100
click to vote
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...