Search CORE

23 research outputs found

Analyzing partially-implemented real-time systems

Author: G.S. Avrunin
J.C. Corbett
L.K. Dillon
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Automated derivation of time bounds in uniprocessor concurrent systems

Author: G.S. Avrunin
J.C. Corbett
J.C. Wileden
L.K. Dillon
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Automated analysis of concurrent systems with the constrained expression toolset

Author: G.S. Avrunin
J.C. Corbett
J.C. Wileden
L.K. Dillon
U.A. Buy
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date
Field of study

Artificial Reef Research in Broward County: The Last Six Years

Author: Banks K. W.
Elder C. Corbett
Gilliam David S.
Jordon L.K. B.
Sherman Robin L.
Spieler Richard E.
Publication venue: NSUWorks
Publication date: 01/01/1998
Field of study

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

Author: B.G. Ryder
E. Bruneton
J. Blieberger
J. Blieberger
J.C. Corbett
L.K. Dillon
M. Young
R.N. Taylor
S. Duri
T.E. Cheatham
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2000
Field of study

It is well accepted that designing and analyzing concurrent software-components are tedious tasks. Assuring the quality of such software requires formal methods, which can statically detect deadlocks. This pape

The penumbra of morphosyntactic feature systems

Author: A. Carstairs-McCarthy
A. Wierzbicka
A. Zwicky
A.V. Gladkij
B. Bickel
B. Comrie
B. Comrie
B. Comrie
B.J. Blake
C. Goddard
C. Paus
C.J. Rapold
D. Brown
D. Brown
D. Brown
D. Hutchisson
D.S. Worth
E. Fenech
F. Fankhauser
G.G. Corbett
G.G. Corbett
G.G. Corbett
G.G. Corbett
G.G. Corbett
G.G. Corbett
G.G. Corbett
G.G. Corbett
G.M. Browne
G.T. Stump
Greville G. Corbett
H. Pasch
H. Steinhauer
I. Igartua
J. Haiman
J. Haviland
J.D. Bobaljik
J.H. Greenberg
J.L. Bybee
L. Bloomfield
L. Gibson
L.K. Graudina
M. Baerman
M. Bechhaus-Gerst
M.W. Sparing-Chávez
N. Evans
O.A. Iggesen
V.A. Friedman
V.A. Plungian [Plungjan]
W.A. Foley
W.A. Foley
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Pelage variation in dingoes across southeastern Australia: implications for conservation and management

Author: Abbott I.
Allen B.L.
Cairns K.M.
Collins D.
Corbett L.K.
Fleming P.
Harris R.B.
Jones F.W.
Macdonald D.W.
Macintosh N.W.G.
Macintosh N.W.G.
Mitchell T.
Murphy S.M.
R Development Core Team
Troughton E.
Publication venue: 'Wiley'
Publication date
Field of study

Influence of social rank on defecating behaviors in feral cats

Author: A. Yamane
A. Yamane
A. Yamane
D.W. Macdonald
D.W. Macdonald
E. Natoli
H N. Feldman
H. Ikeda
I. Todd
L.K. Corbett
M. Izawa
Mayu Shimizu
O. Liberg
P. Bateson
R. Panaman
Yasuko Ishida
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Diet of the spotted-tailed quoll (Dasyurus maculatus) in eastern Australia: effects of season, sex and size

Author: Brillouin L.
Brunner H.
Brunner H.
Clarke K.R.
Corbett L.K.
Crowther M.S.
Glen A.S.
Holliday J.A.
Jones M.
Lunney D.
Macdonald D.W.
Magurran A.E.
Mansergh I.
Maxwell S.
Menkhorst P.
Newsome A.E.
Pinkas L.
Valkenburgh B.
Valkenburgh B.
Publication venue: 'Wiley'
Publication date
Field of study

core

core