36 Hits in 8.8 sec

Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

Paula Herber
2012 it - Information Technology  
Co-simulation techniques often bridge the gap between hardware and software simulation by explicitly modeling the target processor, by compiling the software for it, and by simulating the execution of  ...  Conventionally, there is a gap between the simulation techniques used for hardware and those used for software.  ... 
doi:10.1524/itit.2012.0692 fatcat:r5atkjzrpvdhzpm4tunx2oiovy

Volunteer Meanings in the Making of Place [chapter]

Ben Amsden, Richard C. Stedman, Linda E. Kruger
2012 Place-Based Conservation  
Acknowledgements We would like to thank all of the landowners in Libby, Montana who generously donated their  ...  My intention here is to begin such an exploration by examining how place concepts illuminate the challenges we face in trying to bridge the gap between science and practice.  ...  Indeed, as Nassauer and coauthors (2009) suggest, developer led initiatives may provide the best way to bridge this gap.  ... 
doi:10.1007/978-94-007-5802-5_9 fatcat:dfxenftyrvha5lk2qsxqy74wv4

A methodology for studying persistency aspects of internet flows

Jörg Wallerich, Holger Dreger, Anja Feldmann, Balachander Krishnamurthy, Walter Willinger
2005 Computer communication review  
Acknowledgments Orion Hodson assisted with our TBIT measurements. Thanks also to Gorry Fairhurst, Sourabh Ladha, and the anonymous reviewers for their helpful feedback.  ...  Pouzin who constructively commented on the fragmentation and accounting issues; and S. Crocker who commented on the creation and destruction of associations. Acknowledgments  ...  When the name and the place are static and unchanging, it is only necessary to label a packet with source and destination to transmit it through the network.  ... 
doi:10.1145/1064413.1064417 fatcat:b5leqpkvmnd5paw2vws4mqhlme

Bashar H. Malkawi, International Law and Trade Bridging the East West Divide.pdf

Bashar H. Malkawi
2019 Figshare  
the trade game and global economics are being refined to cope with market liberalization and intense market competition.  ...  and new international trade policies are being developed that shape the way trade is conducted.  ...  It uses the term automatically processing data which is defined in article 1 as any act or series of acts with regard to police data.  ... 
doi:10.6084/m9.figshare.7854695.v1 fatcat:wiz6r63t3zejngxt4uxts6xyjm

Subject Index to Volumes 1–75

2001 Information Processing Letters  
algorithm, 519 preemptive scheduling of periodic jobs, 868 real time tasks, 611 preemptively scheduled, 639 Preethy, A.P., 3898 preevaluation, 36 preference, 401, 1955, 2563 list, 401 preferred, 2108  ...  519 earliest deadline scheduling strategy, 1713 policies, 1384 priority, 1384 schedule, 519, 2312 preemptive scheduling, 255, 519, 639, 868, 1384, 1406, 1605, 1713, 1918, 1938, 1969, 2362, 2624 , 3227  ...  order n matrices, 623 tensors, 719 the adjacency matrix of a line graph, 252 rank one matrices, 1164 matrix, 472 rank queries, 1761 r decision trees, 2406 rankable set, 3245 ranked, 1610 alphabet, 1101  ... 
doi:10.1016/s0020-0190(01)00175-2 fatcat:5y67tfm6yfbblakrus5nnhs73e

Landscape of Desire: Identity and Nature in Utah's Canyon Country

Peter H. DeLafosse, Greg Gordon
2004 The Western historical quarterly  
One year as I drove toward the bridge with the same delighted anticipation that an eleven-year-old has for old bridges, I braked suddenly.  ...  Over the years I discovered that if I allowed the students to set the standard (and they invariably came up with pretty strict rules), then they were the ones responsible for maintaining them.  ...  xxii INUNDATION The opening quotation came from a most unusual book by Jim Corbett, Goatwalking (New York: Viking, 1991) .  ... 
doi:10.2307/25442976 fatcat:7ojo7gtutrbaxltiv2ymso7jmm

Verifying concurrent programs: Refinement, synchronization, sequentialization

Bernhard Kragl, Thomas Henzinger
These transformations reduce the number of interleavings that need to be considered, thus reducing the complexity of invariants.  ...  Refinement checking is supported by a new form of modular, parameterized invariants, called yield invariants, and a linear permission system to enhance local reasoning.  ...  This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award). Acknowledgments  ... 
doi:10.15479/at:ista:8332 fatcat:tyek3rj4bbckdnwojkkxo5eoly

Chapter 9. Acting the Author [chapter]

Pamela Henney
2017 Writing Pathways to Student Success  
Students need a composition course with a focus on these individual goals and something to bridge the gap between the information that they learn in school and what they will apply in their careers.  ...  students and maximizing their capacity to bridge significant gaps in pre-college preparation while laying the foundation for their future civic and professional participation.  ... 
doi:10.37514/pra-b.2017.7707.2.09 fatcat:hrrjlyorsrdrrhu4vpmgedvkdq

The Contemporary Issues and Supreme Court

Kiyoung Kim
2015 Social Science Research Network  
The effect of this ruling by the Supreme Court would affect the relationship between the tiers of government (congress and Executive) and also determine to what extent their powers reach especially as  ...  provide clarification of the distinction between two or more Amendments that are closely related promoting policies that further clarify the Amendments strengths and limitations in relationship to government  ...  Nevertheless, the Supreme Court denied a petition to stop the execution and the State had executed in Apr. 14, 1998 as scheduled.  ... 
doi:10.2139/ssrn.2624176 fatcat:irubpmmvk5depc7dzzdmv2awbq

Hoyt S. Vandenberg, the life of a general

1989 ChoiceReviews  
maintaining the data needed, and completing and reviewing the collection of information.  ...  The public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, igathering and  ...  (usA Photo) The exhausted chief trying to regain his stamina while testifying before the Senate for the last time in June 1953.  ... 
doi:10.5860/choice.27-1130 fatcat:ypsl3thu45dhrne2wkhvqy6x6u

Parameters – Full Issue – Winter 2014

USAWC Parameters
2014 Parameters  
The US Army will not, in the future, as in the past, be able to pick the kinds of wars it fights; it must be prepared to fight the wars that the President and Congress call on it to fight.  ...  D aniel Bolger begins his book Why We Lost, with a jarring opening sentence: "I am a United States Army General, and I lost the Global War on Terrorism."  ...  Weitsman frames her argument in the context of what she calls "realist institutionalism," attempting to bridge the gap between the two dominant strands of International Relations theorizing -realism, with  ... 
doi:10.55540/0031-1723.2648 fatcat:wnmmks6xt5hylfa5nc5jyijvre

OASIcs, Volume 63, WCET'18, Complete Volume [article]

Florian Brandner
Acknowledgements We thank Tina Jung who contributed the ECB and UCB analyses to LLVMTA.  ...  Acknowledgements The authors would like to thank Simon Wegener from AbsInt GmbH for providing valuable feedback on this work.  ...  The programmer, however, is normally more apt on the source code level. Thus, every tool support to bridge the gap between the (high-level) source code and the (low-level) machine code is welcome.  ... 
doi:10.4230/oasics.wcet.2018 fatcat:i5xqd4wxijaqzhniiulyp64nju

Law and Aesthetics: A Critique and a Reformulation of the Dilemmas

John J. Costonis
1982 Michigan law review  
Consistent with the homeostasis metaphor, the factual case centers on how crisis and change affect the associational bonds between people and places.  ...  166 It might be retorted that the gap between museum and legal aesthetics closes in the case of landmark buildings and historic districts.  ... 
doi:10.2307/1288180 fatcat:rtfkslnsezdp7bgwuwzcpfovjm

The Philosophy of Stanley Kubrick

2007 ChoiceReviews  
Eschewing ephemeral trends of philosophical and cultural theory, authors will establish and elaborate on connections between traditional philosophical ideas from important thinkers and the ever-expanding  ...  The goal of this series is to demonstrate how philosophical inquiry has been reinvigorated by increased scholarly interest in the intersection of popular culture and philosophy, as well as to explore through  ...  In this sense, Kubrick's solution is a throwback to the kind of approach that invokes divine providence to close the gap between virtue and happiness in our world.  ... 
doi:10.5860/choice.45-0222 fatcat:udag3jv23jdqhopgcge4ibvvk4

Bert Combs, the Politician: An Oral History

Carl Ryant, George W. Robinson
1992 Journal of American History  
Invariably there's a great deal of overlap and Ned and I never had any real problems. I like to think that I was very circumspect in not placing him in that position.  ...  Then I gave him a weekly schedule, and then I gave him a daily schedule. Of course, the daily schedule was the one that was the most accurate .... I think he really liked to talk to people.  ...  highly competitive with other states and to attract new industry.  ... 
doi:10.2307/2078621 fatcat:4x7ymoz6dnakrjokcigzrhnmka
« Previous Showing results 1 — 15 out of 36 results