TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 0.469 seconds
Computer-aided Verification of Embedded Systems
IFIP Congress: Fundamentals - Foundations of Computer Science, 89-92, 1998
One Sided Error Predicates in Geometric Computing
IFIP Congress: Fundamentals - Foundations of Computer Science, 13-26, 1998
Foundations of Time-Critical Scalable Computing
IFIP Congress: Fundamentals - Foundations of Computer Science, 93-107, 1998
From Algorithms to Working Programs on the Use of Program Checking in LEDA
IFIP Congress: Fundamentals - Foundations of Computer Science, 81-88, 1998
Alignment and Phylogeny Construction for Biological Sequences
IFIP Congress: Fundamentals - Foundations of Computer Science, 27-30, 1998
What Has Gone Wrong with Application Development? Who is the Culprit? Panel Position Paper
IFIP Congress (3), 442-443, 1994
Logic Programming: The Evolving Algebra Approach
IFIP Congress (1), 391-395, 1994
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model
IFIP Congress (1), 396-401, 1994
A Formal Specification of the PVM Architecture
IFIP Congress (1), 402-409, 1994
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations
IFIP Congress (1), 410-415, 1994
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories"
IFIP Congress (3), 3-10, 1994
The Evolution of Personal Computing and Communications Environments
IFIP Congress (1), 21-26, 1994
Evolving Algebras and Linear Time Hierarchy
IFIP Congress (1), 383-390, 1994
Impacts of Creating, Implementing and Using Formal Languages
IFIP Congress (3), 402-407, 1994
Reflections on Security of Database and Datatransfer Systems in Health Care
IFIP Congress (2), 549-556, 1994
Scientific Computing on Bulk Synchronous Parallel Architectures
IFIP Congress (1), 509-514, 1994
Meeting Communication Technology Needs for DCs: A Case for Partnership in Technology Development
IFIP Congress (3), 489-494, 1994
Strategies for Exploiting the Global Software Market: Indian Experience
IFIP Congress (3), 38-45, 1994
Is Technology Transfer the Answer?
IFIP Congress (3), 453-455, 1994
Possibilities Create Demands
IFIP Congress (3), 218-222, 1994
Formal Design of an Abstract Machine for Constraint Logic Programming
IFIP Congress (1), 377-382, 1994
Utopia? Or Chaos? How Should We Control Technology Development?
IFIP Congress (3), 195-197, 1994
Codes of Ethics, or of Conduct, Within IFIP and in Other Computer Societies
IFIP Congress (2), 340-348, 1994
Centralisation and Standardisation of IT: The Security Risks and Opportunities
IFIP Congress (2), 571-581, 1994
The Illusion of Illusion: Constructing Meaning in the Artifical Age
IFIP Congress (3), 185-190, 1994
Human Resource Generation in Information Technology - Indian Effort
IFIP Congress (3), 109-114, 1994
Hardware Design - A Tools View
IFIP Congress (3), 326-332, 1994
On the Effect of Statistical Bandwidth Allocation in an ATM Network Running Today's Applications
IFIP Congress (1), 163-168, 1994
Object Database Systems: the ODMG Standard
IFIP Congress (2), 123-130, 1994
Compiler's New Role in Data Cache Prefetching
IFIP Congress (1), 189-194, 1994