Sciweavers

307 search results - page 8 / 62
» Exception Handling: An Architecture Model and Utility Suppor...
Sort
View
GLOBECOM
2007
IEEE
14 years 1 months ago
Provider Provisioned Overlay Networks and Their Utility in DoS Defense
—The current overlay deployment model supports minimal or no involvement by ISPs in overlay deployment and operation. This model rules out a richer set of interactions between th...
Jinu Kurian, Kamil Saraç
JAR
2006
103views more  JAR 2006»
13 years 7 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
ECOOP
1998
Springer
13 years 11 months ago
Object-Oriented Architectural Support for a Java Processor
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
Narayanan Vijaykrishnan, N. Ranganathan, Ravi Gade...
ECSA
2010
Springer
13 years 8 months ago
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms
Modern middleware platforms provide the applications deployed on top of them with facilities for their adaptation. However, the level of adaptation support provided by the state-of...
Naeem Esfahani, Sam Malek
RIAO
2000
13 years 9 months ago
Utilizing Multimedia Technologies for Interactive Telesonography
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...
Taly Sharon, Ariel J. Frank