Sciweavers

3473 search results - page 311 / 695
» Aspect-Oriented Programming with C
Sort
View
WSC
2000
15 years 8 months ago
A Java-based simulation manager for web-based simulation
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
Charles Marr, Christopher Storey, William E. Biles...
IJSN
2006
78views more  IJSN 2006»
15 years 6 months ago
An approach to synthesise safe systems
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
Arshad Jhumka, Felix C. Freiling, Christof Fetzer,...
OL
2010
87views more  OL 2010»
15 years 5 months ago
Uniqueness of integer solution of linear equations
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
O. L. Mangasarian, Michael C. Ferris
IJACTAICIT
2010
549views more  IJACTAICIT 2010»
15 years 3 months ago
Adding PC Connectivity to the MTS-88 Microcomputer Teaching System
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
Omar Walid Abdul-Wahab, Wameedh Nazar Flayyih
SIAMJO
2010
89views more  SIAMJO 2010»
15 years 1 months ago
A New Sequential Optimality Condition for Constrained Optimization and Algorithmic Consequences
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. These conditions are sati...
Roberto Andreani, José Mario Martíne...