نتایج جستجو برای: make

تعداد نتایج: 344936  

2016
Emily Russell Christina Schonberg Shawntel Barreiro

We asked why Spanish-monolingual children exhibit a weaker, slower-to-develop shape bias in word-learning contexts compared to English-monolingual children (Hahn & Cantrell, 2012). Ten English-monolingual adults and nine EnglishSpanish bilingual adults rated the perceptual similarity of items indicated by subsets of words from the English MCDI and Spanish MCDI, respectively. Consistent with pre...

2008
Makarius Wenzel Larry Paulson Andrew S. Tanenbaum Brian W. Kernighan

We describe the key concepts underlying the Isabelle/Isar implementation, including ML references for the most important functions. The aim is to give some insight into the overall system architecture, and provide clues on implementing applications within this framework. Isabelle was not designed; it evolved. Not everyone likes this idea. Specification experts rightly abhor trial-and-error prog...

2008
Pedro Pereira Rodrigues João Gama

Online learning algorithms which address fast data streams should process examples at the rate they arrive, using a single scan of data and fixed memory, maintaining a decision model at any time and being able to adapt the model to the most recent data. These features yield the necessity of using approximate models. One problem that usually arises with approximate models is the definition of a ...

2007
Marko Terviö

This paper presents an assignment model of CEOs and …rms. The distributions of CEO pay levels and …rms’market values are analyzed as the competitive equilibrium of a matching market where talents, as well as CEO positions, are scarce. It is shown how the observed joint distribution of CEO pay and market value can then be used to infer the economic value of underlying ability di¤erences. The var...

2014
Sebastian Hahn

A common inconvenience of keeping a computer system’s installed applications updated is the loss of the availability of services while the respective application is updating. Typically, the user has a hard choice to make: Accept the downtime or pay the cost of a redundant system. Many regular applications are not well suited to be run in a truly redundant way, but even when a redundant system i...

2015
Richard K. Johnsson

One of the most important functions a compiler must perform is the allocation of reg isters for the instruction stream it generates. In addition to assuring that the allocation of registers is consistent with the semantics of the program being compiled, many compilers attempt to maKe 'optimal' use of the registers. A survey of work in the area of optimal register allocation is presented, and th...

1999
Albert Einstein Shari Lawrence Pfleeger

s scientists, we apply scientific investigative techniques to gain more understanding of what makes software “good” and how to make software well. Often, we adapt investigative techniques from other disciplines to define measures that make sense in the business, technical, and social contexts we use for decision making. However, sometimes we can learn as much from another discipline’s failures ...

2004
Paolo Mazzatorta Emilio Benfenati Bernd Schuller Mathilde Romberg Damian McCourt Werner Dubitzky Sulev Sild Mati Karelson Ákos Papp István Bágyi Ferenc Darvas

Modern approaches to chemistry and pharmacology deal with large-scale molecular design problems. The molecular design is essentially based on data warehousing and data mining. Data warehousing techniques are needed to collect relevant data from distributed and heterogeneous databases. Data mining techniques are used to build predictive quantitative structure-property and activity relationship m...

2011
Ahmed Tamrawi Hoan Anh Nguyen Hung Viet Nguyen Tien N. Nguyen

Software building is an important task during software development. However, program analysis supports for build code are still limited, especially for build code written in a dynamic language such as Make. We propose SYMake, a novel program analysis tool for build code in Makefiles that is capable of detecting several types of code smells and errors and providing automatic supports in renaming...

2006
ARTURO MOLINA MARCELA VELANDIA NATHALIE GALEANO

This paper proposes the concept of the Virtual Enterprise Broker as an innovative model to design and create Build to Order supply chains. The Build to Order supply chain responds to the demands of new global manufacturing economy offering high level of customization, high customer driven design, volume flexibility, short cycle time, none inventory costs, minimal total cost and dynamic supply c...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید