- Subscribe to this page:
- RSS
- Email Alert
Complutense University of Madrid
(7 results)-
White Papers
On the Generation of Test Data for Prolog by Partial Evaluation
March 12, 2009, 12:00am PDT
In recent work, the authors have proposed an approach to Test Data Generation (TDG) of imperative bytecode by Partial Evaluation (PE) of CLP which consists in two phases: the bytecode program is...
Provided by Complutense University of Madrid
-
White Papers
A Simulation Model for Wireless Sensor Networks Based on TOSSIM
August 10, 2007, 12:00am PDT
Wireless Sensor Networks (WSNs) are composed of a large number of very small devices used for biomedical or environmental monitoring applications. These devices measure various natural processes...
Provided by Complutense University of Madrid
-
White Papers
Simulation of High-Performance Memory Allocators
September 3, 2010, 12:00am PDT
Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern high-performance applications. To optimize metrics like performance, memory usage and energy...
Provided by Complutense University of Madrid
-
White Papers
The Ten Commandments For Managing Value-At-Risk Under The Basel II Accord
March 1, 2009, 12:00am PST
Under the Basel II Accord, banks and other Authorized Deposit-taking Institutions (ADIs) are required to communicate their daily market risk estimates to the relevant national monetary authority...
Provided by Complutense University of Madrid
-
White Papers
Routing Protocols in Wireless Sensor Networks
October 26, 2009, 12:00am PDT
The applications of wireless sensor networks comprise a wide variety of scenarios. In most of them, the network is composed of a significant number of nodes deployed in an extensive area in which...
Provided by Complutense University of Madrid
-
White Papers
A Proposal for an Executable Equational Semantics for OCL
March 27, 2008, 12:00am PDT
The Object Constraint Language (OCL), a part of the standard UML language, is both a constraint and a query language. As a constraint language it is used to precise the information contained in...
Provided by Complutense University of Madrid
-
White Papers
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
January 1, 2012, 12:00am PST
The Unified Modeling Language (UML) is a general-purpose visual modeling language that is used to specify, visualize, construct, and document the artifacts of a software system. The UML notation...
Provided by Complutense University of Madrid
-
White Papers
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
January 1, 2012, 12:00am PST
The Unified Modeling Language (UML) is a general-purpose visual modeling language that is used to specify, visualize, construct, and document the artifacts of a software system. The UML notation...
Provided by Complutense University of Madrid
-
White Papers
A Proposal for an Executable Equational Semantics for OCL
March 27, 2008, 12:00am PDT
The Object Constraint Language (OCL), a part of the standard UML language, is both a constraint and a query language. As a constraint language it is used to precise the information contained in...
Provided by Complutense University of Madrid
-
White Papers
Routing Protocols in Wireless Sensor Networks
October 26, 2009, 12:00am PDT
The applications of wireless sensor networks comprise a wide variety of scenarios. In most of them, the network is composed of a significant number of nodes deployed in an extensive area in which...
Provided by Complutense University of Madrid
-
White Papers
The Ten Commandments For Managing Value-At-Risk Under The Basel II Accord
March 1, 2009, 12:00am PST
Under the Basel II Accord, banks and other Authorized Deposit-taking Institutions (ADIs) are required to communicate their daily market risk estimates to the relevant national monetary authority...
Provided by Complutense University of Madrid
-
White Papers
Simulation of High-Performance Memory Allocators
September 3, 2010, 12:00am PDT
Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern high-performance applications. To optimize metrics like performance, memory usage and energy...
Provided by Complutense University of Madrid
-
White Papers
A Simulation Model for Wireless Sensor Networks Based on TOSSIM
August 10, 2007, 12:00am PDT
Wireless Sensor Networks (WSNs) are composed of a large number of very small devices used for biomedical or environmental monitoring applications. These devices measure various natural processes...
Provided by Complutense University of Madrid
-
White Papers
On the Generation of Test Data for Prolog by Partial Evaluation
March 12, 2009, 12:00am PDT
In recent work, the authors have proposed an approach to Test Data Generation (TDG) of imperative bytecode by Partial Evaluation (PE) of CLP which consists in two phases: the bytecode program is...
Provided by Complutense University of Madrid
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
