5407 search results - page 690 / 1082 » The Software Engineering Global Model |
198
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
223
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...
178
click to vote
ISPASS
2006
IEEE
16 years 1 months ago
2006
IEEE
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...
210
click to vote
CITA
2005
IEEE
16 years 1 months ago
2005
IEEE
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...
196
click to vote
CODES
2005
IEEE
16 years 1 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....