Treffer 41 - 60 von 303

41

Railway traffic planning with Petri Nets and constraint programming
BENASSER, A ; YIM, P
Modelling of reactive systems - MSR'99Journal européen des systèmes automatisés. 33(8-9):959-975

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
42

Tutoring prolog novices based on programming techniques
JUN HONG
ITS '98 : intelligent tutoring systems (San Antonio TX, 16-19 August 1998)Lecture notes in computer science. :404-413

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

Split-ordered lists : Lock-free extensible hash tables
SHALEV, Ori ; SHAVIT, Nir
Journal of the Association for Computing Machinery. 53(3):379-405

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

Message analysis for concurrent programs using message passing
CARLSSON, Richard ; SAGONAS, Konstantinos ; WILHELMSSON, Jesper
ACM transactions on programming languages and systems. 28(4):715-746

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

Fast partial evaluation of pattern matching in strings
SIG AGER, Mads ; DANVY, Olivier ; KORSHOLM ROHDE, Henning
ACM transactions on programming languages and systems. 28(4):696-714

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

Fast additions on masked integers
ADAMS, Michael D ; WISE, David S
ACM SIGPLAN notices. 41(5):39-45

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

Applying aspectj to J2EE application development
LESIECKI, Nicholas
IEEE software. 23(1):24-32

Electronics Electronique Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
48

An efficient overloaded implementation of forward mode automatic differentiation in MATLAB
FORTH, Shaun A
ACM transactions on mathematical software. 32(2):195-222

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
49

Efficient subtyping tests with PQ-encoding
GIL, Joseph ; ZIBIN, Yoav
ACM transactions on programming languages and systems. 27(5):819-856

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

XQBE (XQuery by example) : A visual interface to the standard XML query language
BRAGA, Daniele ; CAMPI, Alessandro ; CERI, Stefano
ACM transactions on database systems. 30(2):398-443

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

Robust supergain beamforming for circular array via second-order cone programming
SHEFENG YAN ; YUANLIANG MA
Applied Acoustics. 66(9):1018-1032

Mechanics acoustics Mécanique et acoustique Sciences exactes et tech... Exact sciences and techn... Physique Physics
Fachzeitschrift
Zu den Favoriten
52

Optimizing aggregate- array computations in loops
LIU, Yanhong A ; STOLLER, Scott D ; NING LI ; et al.
ACM transactions on programming languages and systems. 27(1):91-125

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

Dealing with incomplete knowledge on CLP(FD) variable domains
GAVANELLI, Marco ; LAMMA, Evelina ; MELLO, Paola ; et al.
ACM transactions on programming languages and systems. 27(2):236-263

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

Analysis of the limitations of multiple client handling in a Java server environment
BELOGLAVEC, Simon ; HERICKO, Marjan ; JURIC, Matiaz B ; et al.
ACM SIGPLAN notices. 40(4):20-28

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

XVF: C++ Introspection by extensible visitation
STEPHENS, Kurt
ACM SIGPLAN notices. 38(8):55-59

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

Métissages de techniques d'optimisation pour la planification de ressources / Optimization interbreeding technics for resource planning
BENOIST, Thierry ; GAUDIN, Etienne ; ROTTEMBOURG, Benoit
Génie logiciel (1995). (63):53-62

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
57

Cobol, stewed for students
CREAK, Alan
ACM SIGPLAN notices. 37(4):21-25

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

Maximum a posteriori sequence estimation using Monte Carlo particle filters
GODSILL, Simon ; DOUCET, Arnaud ; WEST, Mike
Special Issue on Nonlinear Non-Gaussian Models and Related Filtering MethodsAnnals of the Institute of Statistical Mathematics. 53(1):82-96

Control theory, operatio... Automatique, recherche o... Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
59

La transfusion autologue programmee / Autologous transfusion
MAAMAR, Mongi ; MOJAAT, Najet ; BEN HAMED, Leila ; et al.
Tunisie médicale. 79(3):141-145

Tropical medicine Médecine tropicale Sciences biologiques et... Biological and medical s... Sciences medicales Medical sciences
Fachzeitschrift
Zu den Favoriten
60

Learning forth with modular forth
FRENGER, P
ACM SIGPLAN notices. 35(3):25-30

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

Filter