- Subscribe to this page:
- RSS
- Email Alert
formula
(1976 results)-
White Papers
Reducing Behavioural to Structural Properties of Programs With Procedures
January 1, 2012 12:00am PST
There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a program graph rather than...
Provided by: INRIA
-
White Papers
Model Checking Duration Calculus: A Practical Approach
January 1, 2012 12:00am PST
Model checking of real-time systems with respect to Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. This task is difficult to automate....
Provided by: Ecole Polytechnique Federale de Lausanne
-
White Papers
ILC: A Foundation for Automated Reasoning About Pointer Programs
January 1, 2012 12:00am PST
This paper shows how to use Girard's intuitionistic linear logic extended with a classical sublogic to reason about pointer programs. More specifically, first, the paper defines the proof theory...
Provided by: Princeton University
-
Whitepapers
Formal Specification of Object-Oriented Design
January 1, 2012 12:00am PST
Software architectures and designs "Notations" are typically based on bubble-and-arc diagrams. Embellishing these diagrams may increase their information content but does not make a language. A...
Provided by: Concordia University
-
Whitepapers
On the Decidability and Complexity of Identity Knowledge Representation
December 21, 2011 12:00am PST
Identity knowledge is the knowledge that relates to various aspects of the identification of real-world objects. It can be acquired through the process of identifying objects from a knowledge...
Provided by: Johannes Kepler University Linz
-
-
Q&A
How can I autofill a find duplicates formula?
December 12, 2011 2:37pm PST
How can I autofill a find duplicates formula? Formula is: =IF(COUNTIF(D$2:D$2,D2)>1,"Duplicated","") =IF(COUNTIF(D$2:D$3,D2)>1,"Duplicated","") =IF(COUNTIF(D$2:D$4,D2)>1,"Duplicated","") finding...
3 Started by robys@... | Latest comment by datta4office
-
White Papers
Unicode in Domain-Specific Programming Languages for Modeling & Simulation
December 8, 2011 12:00am PST
As recent programming languages provide improved conciseness and flexibility of syntax, the development of embedded or internal Domain-Specific Languages has increased. The field of Modeling and...
Provided by: Association for Computing Machinery
-
Whitepapers
Performance Analysis of Flow-Based Traffic Splitting Strategy on Cluster-Mesh Sensor Networks
December 3, 2011 12:00am PST
Performance analysis is crucial for designing predictable and cost-efficient sensor networks. Based on the network calculus theory, the authors propose a flow-based traffic splitting strategy and...
Provided by: Hindawi Publishing
-
Whitepapers
Computational Complexity Analysis of Advanced Physical Layers Based on Multicarrier Modulation
December 2, 2011 12:00am PST
In this paper, the authors thoroughly analyze the computational effort necessary to implement a multicarrier based physical layer for wireless communications. They consider two variations of this...
Provided by: Technische Universitat Ilmenau
-
Blog Post
Use conditional formatting in Excel to highlight important dates
November 30, 2011 7:08am PST
If you don't want events slipping up on you, or past you, use Excel's conditional formatting as an alert system.
4 Latest comment by Robiisan
-
White Papers
Internet and the Erlang Formula
November 29, 2011 12:00am PST
The authors demonstrate that the Internet has a formula linking demand, capacity and performance that in many ways is the analogue of the Erlang loss formula of telephony. Surprisingly, this...
Provided by: Telecom ParisTech
-
Discussion Threads
Use Earned Value Management (EVM) to determine project status
November 20, 2011 9:20pm PST
Use Earned Value Management (EVM) to determine project status article root Important EVM formulas Find out important EVM formulas to learn here:...
1 Started by user_786@... |
-
Discussion Threads
10 ways to improve Excel performance
November 18, 2011 7:52am PST
10 ways to improve Excel performance article root Congratulations! Great hints, truly helpful! forward referencing "Formulas should always reference forward, to the right or below. Avoid...
23 Started by david.mapelli | Latest comment by Rob-dawg!
-
Blog Post
10 ways to improve Excel performance
November 18, 2011 6:51am PST
You don't have to live with sluggish workbooks. Try these tricks for a noticeable boost in performance.
23 Latest comment by Rob-dawg!
-
White Papers
On Error Tolerance and Engineering Change With Partially Programmable Circuits
November 16, 2011 12:00am PST
The growing size, density and complexity of modern VLSI chips are contributing to an increase in hardware faults and design errors in the silicon, decreasing manufacturing yield and increasing the...
Provided by: University of Toronto
-
Discussion Threads
Use SUMIFS() to sum by multiple conditions in Excel
November 15, 2011 8:24am PST
Use SUMIFS() to sum by multiple conditions in Excel article root syntax in sumifs Susan: I used the wizard and this is what my formula looked like: "=SUMIFS($C$6:$C$13,$A$6:$A$13,D$1)". (the...
8 Started by zimmerwoman | Latest comment by peter.r7
-
White Papers
A Mixture Gamma Distribution to Model the SNR of Wireless Channels
November 15, 2011 12:00am PST
The MG distribution to model the SNR of the wireless channels has been proposed. Theoretical results show it converges to any PDF, a justification of this model. It is not only ideal for composite...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
Typing the Numeric Tower
November 9, 2011 12:00am PST
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically typed relatives...
Provided by: Northeastern University
-
Whitepapers
Frequency Division Duplex Time Reversal
October 18, 2011 12:00am PDT
In this paper, the authors propose a new pre-coding technique called Frequency Division Duplex Time Reversal (FDD TR) for Multiple Input Multiple Output (MIMO) wireless communications, in...
Provided by: Institute of Electrical and Electronics Engineers
-
Discussion Threads
Create a dynamic Excel chart and make your own dashboard
October 17, 2011 3:34am PDT
Create a dynamic Excel chart and make your own dashboard article root Dynamic Chart "1.Select A3:A6. 2.Hold down [Ctrl]. 3.Select F3:A6. You just created a non-contiguous selection" I think you...
23 Started by sandra.scrivens@... | Latest comment by dljohn7
