Treffer 61 - 80 von 303

61

Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects / Designing SVM coherence protocols with aspect-oriented translation of Gamma specification
MENTRE, D ; LE METAYER, D ; PRIOL, T
Méthodes de construction de systèmes répartisCalculateurs parallèles (Besançon). 11(2):193-210

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
62

An activity-driven encoding scheme for power optimization in microprogrammed control unit
WANG, C.-Y ; ROY, K
IEEE transactions on very large scale integration (VLSI) systems. 7(1):130-134

Electronics Electronique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
63

Positive-definite Toeplitz completion in DOA estimation for nonuniform linear antenna. Arrays-part II : Partially augmentable arrays
ABRAMOVICH, Yu. I ; SPENCER, N. K ; GOROKHOV, A. Y
IEEE transactions on signal processing. 47(6):1502-1521

Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
64

Optimal distribution protection design : quality of solution and computational analysis
SOUDI, F ; TOMSOVIC, K
Electrical power & energy systems. 21(5):327-335

Electrical engineering Electrotechnique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
65

Optimal dynamic load shedding policy for generation load imbalances including characteristics of loads
MAHDI EL ARINI
International journal of energy research. 23(1):79-89

Biotechnology Biotechnologies Energy Énergie Chemical engineering Génie chimique
Fachzeitschrift
Zu den Favoriten
66

Interactive solution of partial differential equations by the Method-of-lines
KORN, G. A
Mathematics and computers in simulation. 49(1-2):129-138

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Fachzeitschrift
Zu den Favoriten
67

Diagnostic de pannes dans les grands systèmes répartis : une approche à base des réseaux de Petri partiellement stochastiques / Fault diagnosis in large distributed systems : an approach based on partially stochastic Petri Nets
AGHASARYAN, A
Calculateurs parallèles (Besançon). 11(4):447-462

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
68

Functional programming and the fragile base class problem
BUDD, T. A
SIGPLAN notices. 33(12):66-71

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
69

ASAP : A simple assertion pre-processor
CURCIO, I. D. D
SIGPLAN notices. 33(12):44-51

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
70

A transformation system for concurrent processes
DE FRANCESCO, N ; SANTONE, A
Acta informatica. 35(12):1037-1073

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
71

Literate programming and the Spaniel' method
HATZIGEORGIU, N ; SYROPOULOS, A
SIGPLAN notices. 33(12):52-56

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
72

Exact calculations for the repeated many-one test
QIN WANG
Computational statistics & data analysis. 27(4):389-399

Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Fachzeitschrift
Zu den Favoriten
73

A syntactic theory of dynamic binding
MOREAU, L
Higher-order and symbolic computation. 11(3):233-279

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
74

Evaluation of three record types for component works in analytic online catalogs
HOFFMAN, H. H
Library resources & technical services. 42(4):292-303

Documentation Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... Sciences de l'informatio...
Fachzeitschrift
Zu den Favoriten
75

On the notion of inheritance
TAIVALSAARI, A
ACM computing surveys. 28(3):438-479

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
76

On subtyping and matching
ABADI, M ; CARDELLI, L
ACM transactions on programming languages and systems. 18(4):401-423

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
77

Experiences of a software reuse project
ISODA, S
Software reuseThe Journal of systems and software. 30(3):171-186

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
78

Transformational design and implementation of a new efficient solution to the ready simulation problem
BLOOM, B ; PAIGE, R
Science of computer programming. 24(3):189-220

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
79

An empirical study of iteration in applications software
STAVELY, A. M
The Journal of systems and software. 22(3):167-177

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
80

Toward mega programming
WIEDERHOLD, G ; WEGNER, P ; CERI, S
AdaCommunications of the ACM. 35(11):89-99

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten

Filter