Sciweavers

1002 search results - page 6 / 201
» Implementing Standard Reference Models for e-learning System...
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
14 years 2 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
IAJIT
2008
120views more  IAJIT 2008»
13 years 7 months ago
A SCOR Reference Model of the Supply Chain Management System in an Enterprise
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
Danish Irfan, Xiaofei Xu, Shengchun Deng, Zengyou ...
SRDS
2005
IEEE
14 years 1 months ago
Enforcing Enterprise-wide Policies Over Standard Client-Server Interactions
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
Zhijun He, Tuan Phan, Thu D. Nguyen
DATE
2003
IEEE
140views Hardware» more  DATE 2003»
14 years 1 months ago
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
Franco Carbognani, Christopher K. Lennard, C. Norr...
JUCS
2007
122views more  JUCS 2007»
13 years 7 months ago
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
Andrei de Araújo Formiga, Rafael Dueire Lin...