Sciweavers

891 search results - page 92 / 179
» Resource management with stateful support for analytic appli...
Sort
View
FMCAD
2000
Springer
13 years 11 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
CCGRID
2005
IEEE
14 years 1 months ago
A grid-based problem solving environment for GECEM
Grid-enabled portals are becoming increasingly popular as a means to create Grid-based problem-solving environments (PSEs) that allow scientists to access distributed resources, a...
Maria Lin, David W. Walker, Yu Chen, Jason W. Jone...
CAISE
2000
Springer
14 years 12 days ago
Design Principles for Application Integration
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
Paul Johannesson, Erik Perjons
ANCS
2005
ACM
14 years 1 months ago
Framework for supporting multi-service edge packet processing on network processors
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
Arun Raghunath, Aaron R. Kunze, Erik J. Johnson, V...
ATC
2009
Springer
13 years 11 months ago
Trust and Reputation Policy-Based Mechanisms for Self-protection in Autonomic Communications
Currently, there is an increasing tendency to migrate the management of communications and information systems onto the Web. This is making many traditional service support models ...
Martin Serrano, Sven van der Meer, John Strassner,...